- change of bound variables
- матем.переименование связанных переменных
English-Russian scientific dictionary. 2008.
change of bound variables
Смотреть что такое "change of bound variables" в других словарях:
social change — ▪ sociology Introduction in sociology, the alteration of mechanisms within the social structure, characterized by changes in cultural symbols, rules of behaviour, social organizations, or value systems. Throughout the historical… … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Variable (mathematics) — In mathematics, a variable is a value that may change within the scope of a given problem or set of operations. In contrast, a constant is a value that remains unchanged, though often unknown or undetermined.[1] The concepts of constants and… … Wikipedia
Variable — A variable (pronEng|ˈvɛərɪəbl) is an attribute of a physical or an abstract system which may change its value while it is under observation. Examples include the height of a child, the temperature across a state, or the input to a function. This… … Wikipedia
Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… … Wikipedia
celestial mechanics — the branch of astronomy that deals with the application of the laws of dynamics and Newton s law of gravitation to the motions of heavenly bodies. [1815 25] * * * Branch of astronomy that deals with the mathematical theory of the motions of… … Universalium
Zapotec languages — Zapotec Diidzaj, Diza, Ditsa, Diidxazá, Tiits Së . . . Spoken in Mexico (Oaxaca, Puebla, Guerrero); USA Native speakers ca 500,000 (date missing) … Wikipedia
Comparison of Java and C++ — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations … Wikipedia
Code injection — is the exploitation of a computer bug that is caused by processing invalid data. Code injection can be used by an attacker to introduce (or inject ) code into a computer program to change the course of execution. The results of a code injection… … Wikipedia
Parameter — For other uses, see Parameter (disambiguation). Parameter from Ancient Greek παρά also “para” meaning “beside, subsidiary” and μέτρον also “metron” meaning “measure”, can be interpreted in mathematics, logic, linguistics, environmental science[1] … Wikipedia
